Reliable Transaction Design Using MTS

Component-based development i s a n emerging discipline of software development. Recently, the growth of middleware technologies brings the notion of serverside component into CBD f o r developing missioncritical applications. In this paper, we propose the method f o r designing reliable component systems for mission-critical tasks. To this end, we formulate the MTS system and develop the framework f o r describing the specification and design of component-bused syst ems and reasoning about them. For illustrating our framework, we show that the design of U simple bank example violates i ts specification. W e strongly believe that the refactoring of transaction boundaries i s comm o n practice for improving scaliability and, thus, the developed framework is useful when evaluating refactorings.